perm filename EX6.2[NOT,DBL] blob
sn#223412 filedate 1976-07-06 generic text, type T, neo UTF8
SYSIN(S)
INTERLISP-10 4-JAN-75 ...
Good evening, Doug.
(<LENAT>S.;2 . <LISP>LISP.SAV;50104)
←
↑W(LOAD 'X6.COM)
COMPILED ON 6-JUL-76 20:36:08
FILE CREATED 6-JUL-76 20:35:57
(INS1CAND redefined)
(CINT redefined)
(M2 redefined)
(PRUNE redefined)
X6COMS
<LENAT>X6.COM;1
←
(START)
Please type in your last name ( then carriage-return):
LENAT
Almost ready to enter AM's main loop, Doug.
More details can be obtained when you interrupt with ↑I.
Verbosity Level (1 - 10, or ?) .... 10
User-control Level ( 0 - 10, or ? ) ....1
Do you want me to tell you which new Cand I'm about to work on each
time? yes
How many Candidates would you like to see each time?
( I suggest 2): 1
Entering AM's main loop now.
No Cand on CANDS is good enuf.
Do-thresh reduced from 500 to 333
Must find new candidates and merge them into CANDS.
(ACTIVE-EXS-E-SUGG compiling)
(ACTIVE-EXS-E-SUGG (BA1 BA2 BA3) NIL)
(ACTIVE-EXS-NOT-BDY-E-SUGG compiling)
(ACTIVE-EXS-NOT-BDY-E-SUGG (BA1 BA2 BA3) NIL)
(ANYB-D-R-E-SUGG compiling)
(ANYB-D-R-E-SUGG (BA1 BA2 BA3) NIL)
(ANYB-EXS-E-SUGG compiling)
(ANYB-EXS-E-SUGG (BA1 BA2 BA3) NIL)
(ANYB-EXS-BDY-E-SUGG compiling)
(ANYB-EXS-BDY-E-SUGG (BA1 BA2 BA3) NIL)
(CANONIZE-E-SUGG compiling)
(CANONIZE-E-SUGG (BA1 BA2 BA3) NIL)
(COALESCE-E-SUGG compiling)
(COALESCE-E-SUGG (BA1 BA2 BA3) NIL)
(INV-OP-E-SUGG compiling)
(INV-OP-E-SUGG (BA1 BA2 BA3) NIL)
(MAP-JOIN-E-SUGG compiling)
(MAP-JOIN-E-SUGG (BA1 BA2 BA3) NIL)
(MAP-REPLACE-E-SUGG compiling)
(MAP-REPLACE-E-SUGG (BA1 BA2 BA3) NIL)
(MAP-REPLACE2-E-SUGG compiling)
(MAP-REPLACE2-E-SUGG (BA1 BA2 BA3) NIL)
(RESTRICT-E-SUGG compiling)
(RESTRICT-E-SUGG (BA1 BA2 BA3) NIL)
No Cand on CANDS is good enuf.
Do-thresh reduced from 333 to 222
Must find new candidates and merge them into CANDS.
NON-NUMERIC ARG
NIL
in MAXX
(broken)
:CANDS
(((FILLIN BAG-STRUC EXS) 374 ((We have no examples for BAG-STRUC yet)
(Anyb-exs specifically asked for some examples of BAG-STRUC ", " while
trying to find some new tasks for Am to do))) ((FILLIN COALESCE EXS)
261 ((We have no examples for COALESCE yet) (Anyb-exs specifically
asked for some examples of COALESCE ", " while trying to find some
new tasks for Am to do))) ((FILLIN COMPOSE EXS) 295 ((We have no
examples for COMPOSE yet) (Anyb-exs specifically asked for some examples
of COMPOSE ", " while trying to find some new tasks for Am to do)))
((FILLIN EMPTY-STRUC EXS) 327 ((We have no examples for EMPTY-STRUC
yet) (Anyb-exs specifically asked for some examples of EMPTY-STRUC
", " while trying to find some new tasks for Am to do))) ((FILLIN
IDENTITY EXS) 236 ((We have no examples for IDENTITY yet) (Anyb-exs
specifically asked for some examples of IDENTITY ", " while trying
to find some new tasks for Am to do))) ((FILLIN MAP-JOIN EXS) 310
((We have no examples for MAP-JOIN yet) (Anyb-exs specifically asked
for some examples of MAP-JOIN ", " while trying to find some new tasks
for Am to do))) ((FILLIN MAP-REPLACE EXS) 256 ((We have no examples
for MAP-REPLACE yet) (Anyb-exs specifically asked for some examples
of MAP-REPLACE ", " while trying to find some new tasks for Am to
do))) ((FILLIN MAP-REPLACE2 EXS) 301 ((We have no examples for
MAP-REPLACE2 yet) (Anyb-exs specifically asked for some examples of
MAP-REPLACE2 ", " while trying to find some new tasks for Am to do)))
((FILLIN NON-EMPTY-STRUC EXS) 327 ((We have no examples for
NON-EMPTY-STRUC yet) (Anyb-exs specifically asked for some examples
of NON-EMPTY-STRUC ", " while trying to find some new tasks for Am
to do))) ((FILLIN OBJ-EQUAL EXS) 370 ((We have no examples for OBJ-EQUAL
yet) (Anyb-exs specifically asked for some examples of OBJ-EQUAL ", "
while trying to find some new tasks for Am to do))) ((FILLIN ORD-PAIR
EXS) 295 ((We have no examples for ORD-PAIR yet) (Anyb-exs specifically
asked for some examples of ORD-PAIR ", " while trying to find some
new tasks for Am to do))) ((FILLIN OSET-STRUC EXS) 295 ((We have no
examples for OSET-STRUC yet) (Anyb-exs specifically asked for some
examples of OSET-STRUC ", " while trying to find some new tasks for
Am to do))) ((FILLIN REV-ORD-PAIR EXS) 253 ((We have no examples for
REV-ORD-PAIR yet) (Anyb-exs specifically asked for some examples of
REV-ORD-PAIR ", " while trying to find some new tasks for Am to do)))
((FILLIN SET-STRUC EXS) 567 ((We have no examples for SET-STRUC yet)
(Anyb-exs specifically asked for some examples of SET-STRUC ", " while
trying to find some new tasks for Am to do))) ((FILLIN RESTRICT EXS)
161 ((We have no examples for RESTRICT yet) (Anyb-exs specifically
asked for some examples of RESTRICT ", " while trying to find some
new tasks for Am to do))) ((FILLIN PROJ2 EXS) 146 ((We have no examples
for PROJ2 yet) (Anyb-exs specifically asked for some examples of PROJ2
π.
--))) --)
:
(LENGTH CANDS)
119
:
(MAPCAR CANDS 'CINT)
(200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200
200 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100
100 100 200 200 200 100 100 100 100 100 100 100 100 100 100 100 100
100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100
100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100
100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100
100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 200)
:
INTHRESH
74
:DOTHRESH
=INTHRESH
74
:DO-THRESH
222
:V
NIL
:BT
MAXX
M2
PICK-CAND
TLOOP
START
**TOP**
:BTV
X ((FILLIN COALESCE EXS) 261 (& &))
MACROX ((& 261 &) (& 295 &) (& 327 &) (& 236 &) (& 310 &) (& 256
&) (& 301 &) (& 327 &) (& 370 &) (& 295 &) (& 295 &) (& 253 &) (&
567 &) (& 161 &) (& 146 &) (& 123 &) (& 118 &) (& 190 &) (& 130 &)
(& 150 &) (& 101 &) (& 160 &) (& 110 &) (& 162 &) (& 140 &) (& 153
&) (& 160 &) (& 216 &) (& 150 &) (& 150 &) (& 157 &) (& 290 &) (&
101 &) (& 86 &) (& 84 &) (& 95 &) (& 164 &) (& 123 &) (& 57 &) (&
57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57
&) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &)
(& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (&
57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57
&) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &)
(& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (&
57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57
&) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &)
(& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (&
57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57
&) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 0 &))
C ((FILLIN BAG-STRUC EXS) 374 (& &))
V NIL
L ((& 374 &) (& 261 &) (& 295 &) (& 327 &) (& 236 &) (& 310 &)
(& 256 &) (& 301 &) (& 327 &) (& 370 &) (& 295 &) (& 295 &) (& 253
&) (& 567 &) (& 161 &) (& 146 &) (& 123 &) (& 118 &) (& 190 &) (&
130 &) (& 150 &) (& 101 &) (& 160 &) (& 110 &) (& 162 &) (& 140 &)
(& 153 &) (& 160 &) (& 216 &) (& 150 &) (& 150 &) (& 157 &) (& 290
&) (& 101 &) (& 86 &) (& 84 &) (& 95 &) (& 164 &) (& 123 &) (& 57
&) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &)
(& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (&
57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57
&) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &)
(& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (&
57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57
&) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &)
(& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (&
57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57
&) (& 57 &) (& 57 &) (& 57 &) (& 57 &) (& 57 &π.) --)
MAXX
C1 NIL
J NIL
M2
PICK-CAND
TLOOP
START
**TOP**
:
C
((FILLIN BAG-STRUC EXS) 374 ((We have no examples for BAG-STRUC yet)
(Anyb-exs specifically asked for some examples of BAG-STRUC ", " while
trying to find some new tasks for Am to do)))
:(CINT C)
200
:
X
((FILLIN COALESCE EXS) 261 ((We have no examples for COALESCE yet)
(Anyb-exs specifically asked for some examples of COALESCE ", " while
trying to find some new tasks for Am to do)))
:EDITF(MAXX)
loading from <LENAT>X6.;1
prop
edit
*R V V372
*OK
unsaved
MAXX
:SETQ(V 0)
0
:
OK
?
(broken)
:SET(V 0)
0
:
OK
?
(broken)
:↑
←INIT-DOTHRESH
500
←SET(INIT-DOTHRESH 300)
(INIT-DOTHRESH reset)
300
←
EDITV(CAND-TAIL)
edit
*P
((PRINT & &) 0 (& &))
*3 P
((No decent reason) (This gets AM going))
*(1)
*OK
CAND-TAIL
←EDITV(X6COMS)
edit
*(N INIT-DOTHRESH CAND-TAIL)
*OK
X6COMS
←MAKEFILE(X6 RC)
Walking at 235424 Load av. = 3.21, used 0:02:40.5 in 0:39:37
compiling <LENAT>X6.;2
listing?
No
redefine? No
INS1CAND, CINT,
(MAXX compiling)
(MAXX (L V372 C) NIL)
M2, PRUNE,
<LENAT>X6.COM;2
<LENAT>X6.;2
←START)
Please type in your last name ( then carriage-return):
←TLOOP)
Entering AM's main loop now.
No Cand on CANDS is good enuf.
Do-thresh reduced from 300 to 200
Must find new candidates and merge them into CANDS.
Walking at 257343 Load av. = 3.03, used 0:03:04.5 in 0:40:44
NON-NUMERIC ARG
NIL
in IGREATERP
(broken)
:V
u.b.a.
V
(broken)
:V372
NIL
:EDITF(MAXX)
edit
*P
(LAMBDA (L V372 C) (SETQ V372 -1) (MAPC L &) C)
*4 P
(MAPC L (FUNCTION &))
*-1 -1 PP
[LAMBDA (X)
(COND
((IGREATERP (LENGTH (CWHY X))
V372)
(SETQ V372)
(LENGTH (CWHY X))
(SETQ C X]
*-1 -1 P
((IGREATERP & V372) (SETQ V372) (LENGTH &) (SETQ C X))
*BI 2 3
*2
*BO 1
*P
(SETQ V372 (LENGTH &))
*0 PP
((IGREATERP (LENGTH (CWHY X))
V372)
(SETQ V372 (LENGTH (CWHY X)))
(SETQ C X))
*OK
MAXX
:↑
←MAKEFILE(X6 RC)
compiling <LENAT>X6.;3
listing?
No
redefine? No
GC: 30
Running at 20242 Load av. = 1.78, used 0:03:27.5 in 0:43:22
110, 622 FREE WORDS
INS1CAND, CINT,
(MAXX compiling)
(MAXX (L V372 C) NIL)
M2, PRUNE,
<LENAT>X6.COM;3
<LENAT>X6.;3
←TLOOP)
Entering AM's main loop now.
The top Cand is: Fill in some examples of Bag-struc
The 2 reasons are:
(We have no examples for BAG-STRUC yet)
(Anyb-exs specifically asked for some examples of BAG-STRUC
, while trying to find some new tasks for Am to do)
Beginning 1st cycle.
(ANYB-ANYP-E-FILLIN1 compiling)
(ANYB-ANYP-E-FILLIN1 (BA1) NIL)
(ANYB-EXS-E-FILLIN1 compiling)
(ANYB-EXS-E-FILLIN1 (BA1) NIL)
(BAG-STRUC-E-DEFN compiling)
(BAG-STRUC-E-DEFN (BA1 BA2 BA3) NIL)
(STRUCTURE-EXS-E-FILLIN2 compiling)
(STRUCTURE-EXS-E-FILLIN2 (BA1) NIL)
(OBJECT-E-VIEW compiling)
(OBJECT-E-VIEW (BA1 BA2 BA3 BA4) NIL)
(STRUCTURE-E-VIEW compiling)
(STRUCTURE-E-VIEW (BA1 BA2 BA3 BA4) NIL)
(BAG-STRUC-INSERT-E-ALGS compiling)
(BAG-STRUC-INSERT-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
(STRUCTURE-DELETE-E-ALGS compiling)
(STRUCTURE-DELETE-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
(ANYB-EXS-E-FILLIN2 compiling)
(ANYB-EXS-E-FILLIN2 (BA1) (BA2))
Won't try to create a restricted interesting version of BAG-STRUC.
Filled in examples of BAG-STRUC.
0 examples existed originally on BAG-STRUC.
9 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(BAG)
(BAG A)
(BAG B)
(BAG A B)
(BAG A A)
(BAG A A B)
(BAG 0 D F I M)
(BAG A B (BAG B) (CLASS))
After eliminating duplicate and already-known entries, AM finds that.
only 8 new, distinct examples of BAG-STRUC had to be added.
Do-thresh raised from 200 to 234.
This Cand used 19.688 cpu seconds.
The top Cand is: Fill in some examples of Coalesce
The 2 reasons are:
(We have no examples for COALESCE yet)
(Anyb-exs specifically asked for some examples of COALESCE ,
while trying to find some new tasks for Am to do)
Beginning 2nd cycle.
(ACTIVE-E-DEFN-SUF compiling)
(ACTIVE-E-DEFN-SUF (BA1 BA2 BA3 BA4) NIL)
(CONSTRUCTIVE-OP-E-DEFN compiling)
(CONSTRUCTIVE-OP-E-DEFN (BA1 BA2 BA3) NIL)
(ACTIVE-EXS-E-FILLIN1 compiling)
(ACTIVE-EXS-E-FILLIN1 (BA1) NIL)
Record of attempts to find examples:
(COALESCE-E-ALGS compiling)
(COALESCE-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
AM will merge the 2 nd and the 1 st arguments of LIST-STRUC-INTERSECT;
that is, LIST-STRUC and LIST-STRUC.
An ex ( sought) is: COA-LIST-STRUC-INTERSECT+-
AM will merge the 1 st and the 2 nd arguments of BAG-STRUC-DIFF; that
is, BAG-STRUC and BAG-STRUC.
+
AM will merge the 2 nd and the 1 st arguments of BAG-STRUC-DELETE; that
is, BAG-STRUC and ANYTHING.
+
AM will merge the 2 nd and the 1 st arguments of STRUCTURE-MEMB; that
is, STRUCTURE and ANYTHING.
+
AM will merge the 1 st and the 2 nd arguments of LIST-STRUC-DELETE;
that is, ANYTHING and LIST-STRUC.
+-
AM will merge the 2 nd and the 1 st arguments of LIST-STRUC-DELETE;
that is, LIST-STRUC and ANYTHING.
COA-LIST-STRUC-DELETE-1 turned out to be equivalent to
COA-LIST-STRUC-DELETE.
+
AM will merge the 1 st and the 2 nd arguments of CANONIZE; that is,
PREDICATE and PREDICATE.
+---
AM will merge the 2 nd and the 1 st arguments of LIST-STRUC-DELETE;
that is, LIST-STRUC and ANYTHING.
COA-LIST-STRUC-DELETE-1 turned out to be equivalent to
COA-LIST-STRUC-DELETE.
+
AM will merge the 2 nd and the 1 st arguments of BAG-STRUC-DIFF; that
is, BAG-STRUC and BAG-STRUC.
COA-BAG-STRUC-DIFF-1 turned out to be equivalent to COA-BAG-STRUC-DIFF
.
+
AM will merge the 1 st and the 2 nd arguments of COMPOSE; that is,
OPERATION and OPERATION.
+
AM will merge the 1 st and the 2 nd arguments of OSET-STRUC-INTERSECT;
that is, OSET-STRUC and OSET-STRUC.
+-
AM will merge the 2 nd and the 1 st arguments of MAP-REPLACE2; that is
, ANY-STRUC and ANY-STRUC.
+
AM will merge the 1 st and the 2 nd arguments of COMPOSE; that is,
OPERATION and OPERATION.
COA-COMPOSE-1 turned out to be equivalent to COA-COMPOSE.
+
AM will merge the 2 nd and the 1 st arguments of COMPOSE; that is,
OPERATION and OPERATION.
COA-COMPOSE-1 turned out to be equivalent to COA-COMPOSE.
+
AM will merge the 2 nd and the 1 st arguments of STRUCTURE-DIFF; that
is, STRUCTURE and STRUCTURE.
+
AM will merge the 2 nd and the 1 st arguments of MAP-REPLACE2; that is
, ANY-STRUC and ANY-STRUC.
COA-MAP-REPLACE2-1 turned out to be equivalent to COA-MAP-REPLACE2.
+-
AM will merge the 2 nd and the 1 st arguments of STRUCTURE-DIFF; that
is, STRUCTURE and STRUCTURE.
COA-STRUCTURE-DIFF-1 turned out to be equivalent to COA-STRUCTURE-DIFF
.
+-
AM will merge the 1 st and the 2 nd arguments of MAP-REPLACE2; that is
, ANY-STRUC and ANY-STRUC.
COA-MAP-REPLACE2-1 turned out to be equivalent to COA-MAP-REPLACE2.
+---
AM will merge the 1 st and the 2 nd arguments of BAG-STRUC-JOIN; that
is, BAG-STRUC and BAG-STRUC.
+
AM will merge the 1 st and the 2 nd arguments of BAG-STRUC-DELETE; that
is, ANYTHING and BAG-STRUC.
COA-BAG-STRUC-DELETE-1 turned out to be equivalent to
COA-BAG-STRUC-DELETE.
+
AM will merge the 2 nd and the 1 st arguments of CANONIZE; that is,
PREDICATE and PREDICATE.
COA-CANONIZE-1 turned out to be equivalent to COA-CANONIZE.
+
AM will merge the 1 st and the 2 nd arguments of MAP-REPLACE2; that is
, ANY-STRUC and ANY-STRUC.
COA-MAP-REPLACE2-1 turned out to be equivalent to COA-MAP-REPLACE2.
+
AM will merge the 2 nd and the 1 st arguments of STRUCTURE-DIFF; that
is, STRUCTURE and STRUCTURE.
COA-STRUCTURE-DIFF-1 turned out to be equivalent to COA-STRUCTURE-DIFF
.
+
AM will merge the 2 nd and the 1 st arguments of PROJ2; that is,
STRUCTURE and ANYTHING.
+
AM will merge the 1 st and the 2 nd arguments of LIST-STRUC-DELETE;
that is, ANYTHING and LIST-STRUC.
COA-LIST-STRUC-DELETE-1 turned out to be equivalent to
COA-LIST-STRUC-DELETE.
+
AM will merge the 1 st and the 2 nd arguments of OSET-STRUC-INTERSECT;
that is, OSET-STRUC and OSET-STRUC.
COA-OSET-STRUC-INTERSECT-1 turned out to be equivalent to
COA-OSET-STRUC-INTERSECT.
+
Found 26 examples ( and 11 non-exs), in 17.188 secs.
A nice ratio of exs/non-exs was encountered for COALESCE
Won't try to create a restricted interesting version of COALESCE.
Filled in examples of COALESCE.
0 examples existed originally on COALESCE.
26 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(LIST-STRUC-INTERSECT COA-LIST-STRUC-INTERSECT)
(BAG-STRUC-DIFF COA-BAG-STRUC-DIFF)
(BAG-STRUC-DELETE COA-BAG-STRUC-DELETE)
(STRUCTURE-MEMB COA-STRUCTURE-MEMB)
(LIST-STRUC-DELETE COA-LIST-STRUC-DELETE)
(CANONIZE COA-CANONIZE)
(COMPOSE COA-COMPOSE)
(OSET-STRUC-INTERSECT COA-OSET-STRUC-INTERSECT)
(MAP-REPLACE2 COA-MAP-REPLACE2)
(STRUCTURE-DIFF COA-STRUCTURE-DIFF)
(BAG-STRUC-JOIN COA-BAG-STRUC-JOIN)
(PROJ2 COA-PROJ2)
After eliminating duplicate and already-known entries, AM finds that.
only 12 new, distinct examples of COALESCE had to be added.
Do-thresh raised from 234 to 239.
This Cand used 27.511 cpu seconds.
The top Cand is: Fill in some examples of Compose
The 2 reasons are:
(We have no examples for COMPOSE yet)
(Anyb-exs specifically asked for some examples of COMPOSE ,
while trying to find some new tasks for Am to do)
Beginning 3rd cycle.
(ANYB-E-DEFN compiling)
(ANYB-E-DEFN (BA1 BA2 BA3) NIL)
Record of attempts to find examples:
(COMPOSE-E-ALGS compiling)
(COMPOSE-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
An ex ( sought) is: COMPOSE-PROJ2&IDENTITY+-++-+-
AM can later coalesce the D-R of
COMPOSE-STRUCTURE-DELETE&LIST-STRUC-INSERT.
+++--
AM can later coalesce the D-R of COMPOSE-RESTRICT&CANONIZE.
+
AM can later coalesce the D-R of COMPOSE-MAP-JOIN&MAP-REPLACE.
+++-
AM can later coalesce the D-R of COMPOSE-PROJ2&BAG-STRUC-JOIN.
+-++
AM can later coalesce the D-R of COMPOSE-MAP-REPLACE&CANONIZE.
+
Found 15 examples ( and 7 non-exs), in 29.72 secs.
A nice ratio of exs/non-exs was encountered for COMPOSE
Creating new Being, similar to COMPOSE, named INT-COMPOSE, but
restricted so as to make it more interesting.
An INT-COMPOSE is any COMPOSE for which (In canonical
interpretation, Range-of-op2 is a component of Domain of op1 ; And,
also: In canonical interpretation, Range-of-op1 is one component of
Domain-of-op2).
Filled in examples of COMPOSE.
0 examples existed originally on COMPOSE.
15 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(PROJ2 IDENTITY COMPOSE-PROJ2&IDENTITY)
(IDENTITY IDENTITY COMPOSE-IDENTITY&IDENTITY)
(SET-STRUC-DELETE FINAL COMPOSE-SET-STRUC-DELETE&FINAL)
(MAP-REPLACE IDENTITY COMPOSE-MAP-REPLACE&IDENTITY)
(STRUCTURE-DELETE LIST-STRUC-INSERT
COMPOSE-STRUCTURE-DELETE&LIST-STRUC-INSERT)
(FIRST REAR COMPOSE-FIRST&REAR)
(FIRST FIRST COMPOSE-FIRST&FIRST)
(RESTRICT CANONIZE COMPOSE-RESTRICT&CANONIZE)
(MAP-JOIN MAP-REPLACE COMPOSE-MAP-JOIN&MAP-REPLACE)
(FIRST FINAL COMPOSE-FIRST&FINAL)
(MAP-JOIN IDENTITY COMPOSE-MAP-JOIN&IDENTITY)
(PROJ2 BAG-STRUC-JOIN COMPOSE-PROJ2&BAG-STRUC-JOIN)
(IDENTITY MAP-JOIN COMPOSE-IDENTITY&MAP-JOIN)
(PROJ1 IDENTITY COMPOSE-PROJ1&IDENTITY)
(MAP-REPLACE CANONIZE COMPOSE-MAP-REPLACE&CANONIZE)
After eliminating duplicate and already-known entries, AM finds that.
all 15 new, distinct examples of COMPOSE had to be added.
Do-thresh raised from 239 to 250.
This Cand used 43.009 cpu seconds.
The top Cand is: Fill in some examples of Ord-pair
The 3 reasons are:
(Compose specifically asked for some examples of ORD-PAIR ,
while trying to Fill in some Compose examples)
(We have no examples for ORD-PAIR yet)
(Anyb-exs specifically asked for some examples of ORD-PAIR ,
while trying to find some new tasks for Am to do)
Beginning 4th cycle.
(ORD-PAIR-E-DEFN compiling)
(ORD-PAIR-E-DEFN (BA1 BA2 BA3) NIL)
Won't try to create a restricted interesting version of ORD-PAIR.
Filled in examples of ORD-PAIR.
0 examples existed originally on ORD-PAIR.
4 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(PAIR BAG-OF-STRUCS LIST-STRUC-INTERSECT)
(PAIR DON BRUCE)
(PAIR ANYB-SPEC LIST-STRUC-INSERT)
(PAIR CANONIZE CANONIZE)
After eliminating duplicate and already-known entries, AM finds that.
all 4 new, distinct examples of ORD-PAIR had to be added.
Do-thresh raised from 250 to 261.
This Cand used 10.464 cpu seconds.
The top Cand is: Fill in some examples of Set-struc
The 3 reasons are:
(Compose specifically asked for some examples of SET-STRUC ,
while trying to Fill in some Compose examples)
(We have no examples for SET-STRUC yet)
(Anyb-exs specifically asked for some examples of SET-STRUC
, while trying to find some new tasks for Am to do)
Beginning 5th cycle.
(SET-STRUC-E-DEFN compiling)
(SET-STRUC-E-DEFN (BA1 BA2 BA3) NIL)
(STRUCTURE-DELETE-E-INV compiling)
(STRUCTURE-DELETE-E-INV (BA1 BA2 BA3 BA4 BA5) NIL)
GC: 8
Walking at 22277 Load av. = 4.53, used 0:05:51.3 in 0:55:41
21466, 21466 FREE WORDS
(STRUCTURE-MEMB-E-INV compiling)
(STRUCTURE-MEMB-E-INV (BA1 BA2 BA3 BA4 BA5) NIL)
(STRUCTURE-INSERT-E-ALGS compiling)
(STRUCTURE-INSERT-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
(EMPTY-STRUC-E-DEFN compiling)
(EMPTY-STRUC-E-DEFN (BA1 BA2 BA3) NIL)
(OSET-STRUC-E-DEFN compiling)
(OSET-STRUC-E-DEFN (BA1 BA2 BA3) NIL)
(LIST-STRUC-E-DEFN compiling)
(LIST-STRUC-E-DEFN (BA1 BA2 BA3) NIL)
(SET-STRUC-INSERT-E-ALGS compiling)
(SET-STRUC-INSERT-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
Creating new Being, similar to SET-STRUC, named INT-SET-STRUC, but
restricted so as to make it more interesting.
An INT-SET-STRUC is any SET-STRUC for which (Each pair of
elements satisfies the same interesting predicate P (for some P)).
Filled in examples of SET-STRUC.
0 examples existed originally on SET-STRUC.
20 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(CLASS)
(CLASS DOUG CORDELL BRUCE)
(CLASS R5-2 R5-3 R5-4 R5-5 R5-6 R5-7 R6-2 R6-3 R6-4 R6-5 R6-6
R6-7)
(CLASS A)
(CLASS B)
(CLASS A B)
(CLASS 0 D F I M)
(CLASS A B (BAG B) (CLASS))
After eliminating duplicate and already-known entries, AM finds that.
only 8 new, distinct examples of SET-STRUC had to be added.
Do-thresh raised from 261 to 322.
This Cand used 25.471 cpu seconds.
The top Cand is: Fill in some examples of Empty-struc
The 3 reasons are:
(Structure-insert specifically asked for some examples of
EMPTY-STRUC , while trying to Fill in some Set-struc examples)
(We have no examples for EMPTY-STRUC yet)
(Anyb-exs specifically asked for some examples of EMPTY-STRUC
, while trying to find some new tasks for Am to do)
Beginning 6th cycle.
(ANYB-E-VIEW compiling)
(ANYB-E-VIEW (BA1 BA2 BA3 BA4) NIL)
Won't try to create a restricted interesting version of EMPTY-STRUC.
Filled in examples of EMPTY-STRUC.
0 examples existed originally on EMPTY-STRUC.
3 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(VECTOR)
(BAG)
After eliminating duplicate and already-known entries, AM finds that.
only 2 new, distinct examples of EMPTY-STRUC had to be added.
Do-thresh raised from 322 to 330.
This Cand used 19.291 cpu seconds.
The top Cand is: Fill in some examples of Oset-struc
The 3 reasons are:
(Structure-insert specifically asked for some examples of
OSET-STRUC , while trying to Fill in some Set-struc examples)
(We have no examples for OSET-STRUC yet)
(Anyb-exs specifically asked for some examples of OSET-STRUC
, while trying to find some new tasks for Am to do)
Beginning 7th cycle.
(OSET-STRUC-INSERT-E-ALGS compiling)
(OSET-STRUC-INSERT-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
Won't try to create a restricted interesting version of OSET-STRUC.
Filled in examples of OSET-STRUC.
0 examples existed originally on OSET-STRUC.
29 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(OSET CORDELL BRUCE DON)
(OSET CORDELL DON BRUCE)
(OSET)
(OSET A)
(OSET B)
(OSET A B)
(OSET B A)
(OSET D M I F 0)
(OSET B (BAG B) (CLASS) A)
(OSET 0 D F I M)
(OSET A B (BAG B) (CLASS))
(OSET DOUG CORDELL BRUCE)
(OSET R5-2 R5-3 R5-4 R5-5 R5-6 R5-7 R6-2 R6-3 R6-4 R6-5 R6-6
R6-7)
After eliminating duplicate and already-known entries, AM finds that.
only 13 new, distinct examples of OSET-STRUC had to be added.
Do-thresh raised from 330 to 331.
This Cand used 14.504 cpu seconds.
No Cand on CANDS is good enuf.
Do-thresh reduced from 331 to 220
Must find new candidates and merge them into CANDS.
(INT-SET-STRUC-E-SUGG compiling)
(INT-SET-STRUC-E-SUGG (BA1 BA2 BA3) NIL)
(INT-COMPOSE-E-SUGG compiling)
(INT-COMPOSE-E-SUGG (BA1 BA2 BA3) NIL)
GC: 1
Walking at 20671 Load av. = 3.97, used 0:07:29.0 in 1:01:37
4084, 4084 FREE WORDS
The top Cand is: Fill in some examples of Map-join
The 3 reasons are:
(Anyb-exs specifically asked for some examples of MAP-JOIN ,
while trying to Fill in some Oset-struc examples)
(We have no examples for MAP-JOIN yet)
(Anyb-exs specifically asked for some examples of MAP-JOIN ,
while trying to find some new tasks for Am to do)
Beginning 8th cycle.
(ANY-STRUC-E-DEFN compiling)
(ANY-STRUC-E-DEFN (BA1 BA2 BA3) NIL)
Record of attempts to find examples:
(MAP-JOIN-E-ALGS compiling)
(MAP-JOIN-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
---------------
An ex ( sought) is: MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2+--------------+--+
-+----+---------------------------------------------------------------
GC: 8
20135, 20135 FREE WORDS
--------------------+-------------------------------+-
Found 7 examples ( and 151 non-exs), in 13.14 secs.
Ratio of exs to non-exs is too low ( 7 / 151); Exs are too sparse.
AM will sometime try to generalize MAP-JOIN.
Won't try to create a restricted interesting version of MAP-JOIN.
Filled in examples of MAP-JOIN.
0 examples existed originally on MAP-JOIN.
7 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(BAG-OF-STRUCS COA-PROJ2 MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2)
(SET-OF-LISTS IDENTITY MAP-JOIN-SET-OF-LISTS&IDENTITY)
(BAG-OF-STRUCS IDENTITY MAP-JOIN-BAG-OF-STRUCS&IDENTITY)
(SET-OF-LISTS REAR MAP-JOIN-SET-OF-LISTS&REAR)
(STRUC-OF-LISTS COA-PROJ2 MAP-JOIN-STRUC-OF-LISTS&COA-PROJ2)
After eliminating duplicate and already-known entries, AM finds that.
only 5 new, distinct examples of MAP-JOIN had to be added.
Do-thresh raised from 220 to 241.
This Cand used 24.373 cpu seconds.
The top Cand is: Fill in some examples of Map-replace2
The 3 reasons are:
(Anyb-exs specifically asked for some examples of MAP-REPLACE2
, while trying to Fill in some Oset-struc examples)
(We have no examples for MAP-REPLACE2 yet)
(Anyb-exs specifically asked for some examples of MAP-REPLACE2
, while trying to find some new tasks for Am to do)
Beginning 9th cycle.
Record of attempts to find examples:
(MAP-REPLACE2-E-ALGS compiling)
(MAP-REPLACE2-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
-------------------
An ex ( sought) is:
MAP-REPLACE2-SET-STRUC&NON-EMPTY-STRUC-STRUCTURE-DELETE+--+---+---------
-----------------------+------------------+-+------------+---++------+--
-+-+-------------------+++--+-----+------+--------------+-----
Found 19 examples ( and 151 non-exs), in 31.39 secs.
A nice ratio of exs/non-exs was encountered for MAP-REPLACE2
Won't try to create a restricted interesting version of MAP-REPLACE2.
Filled in examples of MAP-REPLACE2.
0 examples existed originally on MAP-REPLACE2.
19 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(SET-STRUC NON-EMPTY-STRUC STRUCTURE-DELETE
MAP-REPLACE2-SET-STRUC&NON-EMPTY-STRUC-STRUCTURE-DELETE)
(BAG-OF-STRUCS LIST-STRUC COMPOSE-IDENTITY&MAP-JOIN
MAP-REPLACE2-BAG-OF-STRUCS&LIST-STRUC-COMPOSE-IDENTITY&MAP-JOIN)
(BAG-OF-LISTS SET-STRUC COMPOSE-PROJ1&IDENTITY
MAP-REPLACE2-BAG-OF-LISTS&SET-STRUC-COMPOSE-PROJ1&IDENTITY)
(OSET-STRUC NON-EMPTY-STRUC COMPOSE-PROJ2&IDENTITY
MAP-REPLACE2-OSET-STRUC&NON-EMPTY-STRUC-COMPOSE-PROJ2&IDENTITY)
(OSET-STRUC BAG-OF-STRUCS COMPOSE-PROJ2&IDENTITY
MAP-REPLACE2-OSET-STRUC&BAG-OF-STRUCS-COMPOSE-PROJ2&IDENTITY)
(STRUCTURE OSET-STRUC PROJ2
MAP-REPLACE2-STRUCTURE&OSET-STRUC-PROJ2)
(OSET-STRUC BAG-OF-STRUCS PROJ2
MAP-REPLACE2-OSET-STRUC&BAG-OF-STRUCS-PROJ2)
(BAG-OF-STRUCS OSET-STRUC COMPOSE-IDENTITY&MAP-JOIN
MAP-REPLACE2-BAG-OF-STRUCS&OSET-STRUC-COMPOSE-IDENTITY&MAP-JOIN)
(STRUCTURE STRUC-OF-STRUCS PROJ2
MAP-REPLACE2-STRUCTURE&STRUC-OF-STRUCS-PROJ2)
(BAG-OF-STRUCS EMPTY-STRUC COMPOSE-PROJ2&IDENTITY
MAP-REPLACE2-BAG-OF-STRUCS&EMPTY-STRUC-COMPOSE-PROJ2&IDENTITY)
(BAG-OF-LISTS SET-STRUC COMPOSE-IDENTITY&MAP-JOIN
MAP-REPLACE2-BAG-OF-LISTS&SET-STRUC-COMPOSE-IDENTITY&MAP-JOIN)
(SET-STRUC BAG-OF-STRUCS PROJ2
MAP-REPLACE2-SET-STRUC&BAG-OF-STRUCS-PROJ2)
(SET-OF-STRUCS BAG-OF-STRUCS COMPOSE-IDENTITY&MAP-JOIN
MAP-REPLACE2-SET-OF-STRUCS&BAG-OF-STRUCS-COMPOSE-IDENTITY&MAP-JOIN)
(BAG-OF-STRUCS NON-EMPTY-STRUC COMPOSE-PROJ2&IDENTITY
MAP-REPLACE2-BAG-OF-STRUCS&NON-EMPTY-STRUC-COMPOSE-PROJ2&IDENTITY)
(BAG-OF-STRUCS BAG-OF-STRUCS STRUCTURE-DELETE
MAP-REPLACE2-BAG-OF-STRUCS&BAG-OF-STRUCS-STRUCTURE-DELETE)
(BAG-OF-STRUCS INT-SET-STRUC PROJ2
MAP-REPLACE2-BAG-OF-STRUCS&INT-SET-STRUC-PROJ2)
(SET-OF-LISTS BAG-OF-STRUCS PROJ2
MAP-REPLACE2-SET-OF-LISTS&BAG-OF-STRUCS-PROJ2)
(SET-OF-LISTS SET-STRUC PROJ2
MAP-REPLACE2-SET-OF-LISTS&SET-STRUC-PROJ2)
After eliminating duplicate and already-known entries, AM finds that.
only 18 new, distinct examples of MAP-REPLACE2 had to be added.
Do-thresh raised from 241 to 255.
This Cand used 44.243 cpu seconds.
The top Cand is: Fill in some examples of Non-empty-struc
The 3 reasons are:
(Anyb-exs specifically asked for some examples of NON-EMPTY-STRUC
, while trying to Fill in some Oset-struc examples)
(We have no examples for NON-EMPTY-STRUC yet)
(Anyb-exs specifically asked for some examples of NON-EMPTY-STRUC
, while trying to find some new tasks for Am to do)
Beginning 10th cycle.
(NON-EMPTY-STRUC-E-DEFN compiling)
(NON-EMPTY-STRUC-E-DEFN (BA1 BA2 BA3) NIL)
GC: 8
Walking at 22277 Load av. = 4.01, used 0:09:54.5 in 1:09:52
17427, 17427 FREE WORDS
Creating new Being, similar to NON-EMPTY-STRUC, named
INT-NON-EMPTY-STRUC, but restricted so as to make it more interesting.
An INT-NON-EMPTY-STRUC is any NON-EMPTY-STRUC for which (Each
pair of elements satisfies the same interesting predicate P (for some
P)).
Filled in examples of NON-EMPTY-STRUC.
0 examples existed originally on NON-EMPTY-STRUC.
35 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(VECTOR A)
(VECTOR B)
(VECTOR A B)
(VECTOR A A)
(VECTOR B A)
(VECTOR A A B)
(VECTOR D M I F 0)
(VECTOR B (BAG B) (CLASS) A)
(BAG A)
(BAG B)
(BAG A B)
(BAG A A)
(BAG A A B)
(BAG 0 D F I M)
(BAG A B (BAG B) (CLASS))
(CLASS DOUG CORDELL BRUCE)
(CLASS R5-2 R5-3 R5-4 R5-5 R5-6 R5-7 R6-2 R6-3 R6-4 R6-5 R6-6
R6-7)
(CLASS A)
(CLASS B)
(CLASS A B)
(CLASS 0 D F I M)
(CLASS A B (BAG B) (CLASS))
(OSET CORDELL BRUCE DON)
(OSET CORDELL DON BRUCE)
(OSET A)
(OSET B)
(OSET A B)
(OSET B A)
(OSET D M I F 0)
(OSET B (BAG B) (CLASS) A)
(OSET 0 D F I M)
(OSET A B (BAG B) (CLASS))
(OSET DOUG CORDELL BRUCE)
(OSET R5-2 R5-3 R5-4 R5-5 R5-6 R5-7 R6-2 R6-3 R6-4 R6-5 R6-6
R6-7)
(VECTOR BAG)
After eliminating duplicate and already-known entries, AM finds that.
all 35 new, distinct examples of NON-EMPTY-STRUC had to be added.
Do-thresh raised from 255 to 272.
This Cand used 41.263 cpu seconds.
The top Cand is: Fill in some examples of Obj-equal
The 3 reasons are:
(Anyb-exs specifically asked for some examples of OBJ-EQUAL
, while trying to Fill in some Oset-struc examples)
(We have no examples for OBJ-EQUAL yet)
(Anyb-exs specifically asked for some examples of OBJ-EQUAL
, while trying to find some new tasks for Am to do)
Beginning 11st cycle.
(OBJ-EQUAL-E-DEFN compiling)
(OBJ-EQUAL-E-DEFN (BA1 BA2 BA3) NIL)
Record of attempts to find examples:
(OBJ-EQUAL-E-ALGS compiling)
(OBJ-EQUAL-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
-------------------------------------------------------
An ex ( sought) is: ((BAG A A B) (BAG A A B))+-------------------------
---------+-------------------------+------------------------------------
-
Found 3 examples ( and 151 non-exs), in 7.968 secs.
Ratio of exs to non-exs is too low ( 3 / 151); Exs are too sparse.
AM will sometime try to generalize OBJ-EQUAL.
Won't try to create a restricted interesting version of OBJ-EQUAL.
Filled in examples of OBJ-EQUAL.
0 examples existed originally on OBJ-EQUAL.
4 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
((BAG A) (BAG A) T)
((BAG A A B) (BAG A A B) T)
((VECTOR BAG) (VECTOR BAG) T)
((OSET DOUG CORDELL BRUCE) (OSET DOUG CORDELL BRUCE) T)
After eliminating duplicate and already-known entries, AM finds that.
all 4 new, distinct examples of OBJ-EQUAL had to be added.
Do-thresh raised from 272 to 293.
This Cand used 17.476 cpu seconds.
No Cand on CANDS is good enuf.
Do-thresh reduced from 293 to 195
Must find new candidates and merge them into CANDS.
(INT-NON-EMPTY-STRUC-E-SUGG compiling)
(INT-NON-EMPTY-STRUC-E-SUGG (BA1 BA2 BA3) NIL)
π
26 Cands, 166 Concepts, Gcnt is 12.
GC: 8
Walking at 22454 Load av. = 3.62, used 0:11:02.2 in 1:12:48
15116, 15116 FREE WORDS
The top Cand is: Fill in some examples of Rev-ord-pair
The 4 reasons are:
(Anyb-exs specifically asked for some examples of REV-ORD-PAIR
, while trying to Fill in some Obj-equal examples)
(Anyb-exs specifically asked for some examples of REV-ORD-PAIR
, while trying to Fill in some Oset-struc examples)
(We have no examples for REV-ORD-PAIR yet)
(Anyb-exs specifically asked for some examples of REV-ORD-PAIR
, while trying to find some new tasks for Am to do)
Beginning 12nd cycle.
Record of attempts to find examples:
(REV-ORD-PAIR-E-ALGS compiling)
(REV-ORD-PAIR-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
An ex ( sought) is: (PAIR LIST-STRUC-INSERT ANYB-SPEC)+++++++++++++++++
+++++++++
Found 26 examples ( and 0 non-exs), in 2.283 secs.
A nice ratio of exs/non-exs was encountered for REV-ORD-PAIR
Won't try to create a restricted interesting version of REV-ORD-PAIR.
Filled in examples of REV-ORD-PAIR.
0 examples existed originally on REV-ORD-PAIR.
26 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
((PAIR ANYB-SPEC LIST-STRUC-INSERT) (PAIR LIST-STRUC-INSERT
ANYB-SPEC))
((PAIR CANONIZE CANONIZE) (PAIR CANONIZE CANONIZE))
((PAIR DON BRUCE) (PAIR BRUCE DON))
((PAIR BAG-OF-STRUCS LIST-STRUC-INTERSECT) (PAIR
LIST-STRUC-INTERSECT BAG-OF-STRUCS))
After eliminating duplicate and already-known entries, AM finds that.
only 4 new, distinct examples of REV-ORD-PAIR had to be added.
Do-thresh raised from 195 to 214.
This Cand used 10.462 cpu seconds.
The top Cand is: Fill in some examples of Map-replace
The 4 reasons are:
(Anyb-exs specifically asked for some examples of MAP-REPLACE
, while trying to Fill in some Obj-equal examples)
(Anyb-exs specifically asked for some examples of MAP-REPLACE
, while trying to Fill in some Oset-struc examples)
(We have no examples for MAP-REPLACE yet)
(Anyb-exs specifically asked for some examples of MAP-REPLACE
, while trying to find some new tasks for Am to do)
Beginning 13rd cycle.
Record of attempts to find examples:
(MAP-REPLACE-E-ALGS compiling)
(MAP-REPLACE-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
-
An ex ( sought) is: MAP-REPLACE-BAG-OF-STRUCS&COA-PROJ2+-------+-----+-
--+----------+----+---+--+--++-+--++------------++---++------+---+-----+
+--+---------++
GC: 8
10867, 13422 FREE WORDS
-+----+
Found 26 examples ( and 85 non-exs), in 24.453 secs.
A nice ratio of exs/non-exs was encountered for MAP-REPLACE
Won't try to create a restricted interesting version of MAP-REPLACE.
Filled in examples of MAP-REPLACE.
0 examples existed originally on MAP-REPLACE.
26 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(BAG-OF-STRUCS COA-PROJ2 MAP-REPLACE-BAG-OF-STRUCS&COA-PROJ2)
(STRUC-OF-LISTS IDENTITY MAP-REPLACE-STRUC-OF-LISTS&IDENTITY)
(BAG-OF-STRUCS MAP-JOIN-BAG-OF-STRUCS&IDENTITY
MAP-REPLACE-BAG-OF-STRUCS&MAP-JOIN-BAG-OF-STRUCS&IDENTITY)
(BAG-OF-LISTS IDENTITY MAP-REPLACE-BAG-OF-LISTS&IDENTITY)
(BAG-OF-STRUCS COMPOSE-FIRST&REAR
MAP-REPLACE-BAG-OF-STRUCS&COMPOSE-FIRST&REAR)
(BAG-OF-STRUCS IDENTITY MAP-REPLACE-BAG-OF-STRUCS&IDENTITY)
(BAG-OF-STRUCS COMPOSE-IDENTITY&IDENTITY
MAP-REPLACE-BAG-OF-STRUCS&COMPOSE-IDENTITY&IDENTITY)
(SET-OF-LISTS COA-LIST-STRUC-DELETE
MAP-REPLACE-SET-OF-LISTS&COA-LIST-STRUC-DELETE)
(OSET-STRUC IDENTITY MAP-REPLACE-OSET-STRUC&IDENTITY)
(LIST-STRUC COMPOSE-IDENTITY&IDENTITY
MAP-REPLACE-LIST-STRUC&COMPOSE-IDENTITY&IDENTITY)
(SET-OF-LISTS COMPOSE-IDENTITY&IDENTITY
MAP-REPLACE-SET-OF-LISTS&COMPOSE-IDENTITY&IDENTITY)
(INT-NON-EMPTY-STRUC COMPOSE-IDENTITY&IDENTITY
MAP-REPLACE-INT-NON-EMPTY-STRUC&COMPOSE-IDENTITY&IDENTITY)
(NON-EMPTY-STRUC IDENTITY MAP-REPLACE-NON-EMPTY-STRUC&IDENTITY)
(SET-OF-LISTS COA-PROJ2 MAP-REPLACE-SET-OF-LISTS&COA-PROJ2)
(SET-OF-STRUCS MAP-JOIN-BAG-OF-STRUCS&IDENTITY
MAP-REPLACE-SET-OF-STRUCS&MAP-JOIN-BAG-OF-STRUCS&IDENTITY)
After eliminating duplicate and already-known entries, AM finds that.
only 15 new, distinct examples of MAP-REPLACE had to be added.
Do-thresh raised from 214 to 230.
This Cand used 37.696 cpu seconds.
The top Cand is: Fill in some examples of Identity
The 4 reasons are:
(Anyb-exs specifically asked for some examples of IDENTITY ,
while trying to Fill in some Obj-equal examples)
(Anyb-exs specifically asked for some examples of IDENTITY ,
while trying to Fill in some Oset-struc examples)
(We have no examples for IDENTITY yet)
(Anyb-exs specifically asked for some examples of IDENTITY ,
while trying to find some new tasks for Am to do)
Beginning 14th cycle.
(IDENTITY-E-DEFN compiling)
(IDENTITY-E-DEFN (BA1 BA2 BA3) NIL)
Record of attempts to find examples:
(IDENTITY-E-ALGS compiling)
(IDENTITY-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
An ex ( sought) is: IDENTITY++++++++++++++++++++++++++
Found 26 examples ( and 0 non-exs), in 3.299 secs.
A nice ratio of exs/non-exs was encountered for IDENTITY
Won't try to create a restricted interesting version of IDENTITY.
Filled in examples of IDENTITY.
0 examples existed originally on IDENTITY.
27 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(BA2 T)
(IDENTITY IDENTITY)
(MAP-REPLACE2-BAG-OF-STRUCS&NON-EMPTY-STRUC-COMPOSE-PROJ2&IDENTITY
MAP-REPLACE2-BAG-OF-STRUCS&NON-EMPTY-STRUC-COMPOSE-PROJ2&IDENTITY)
(MAP-REPLACE MAP-REPLACE)
(T T)
(INT-NON-EMPTY-STRUC INT-NON-EMPTY-STRUC)
(COA-PROJ2 COA-PROJ2)
(ATOM-OBJ ATOM-OBJ)
(INT-SET-STRUC INT-SET-STRUC)
(MAP-REPLACE2-BAG-OF-STRUCS&OSET-STRUC-COMPOSE-IDENTITY&MAP-JOIN
MAP-REPLACE2-BAG-OF-STRUCS&OSET-STRUC-COMPOSE-IDENTITY&MAP-JOIN)
((OSET R5-2 R5-3 R5-4 R5-5 R5-6 R5-7 R6-2 R6-3 R6-4 R6-5 R6-6
R6-7) (OSET R5-2 R5-3 R5-4 R5-5 R5-6 R5-7 R6-2 R6-3 R6-4 R6-5 R6-6
R6-7))
(COA-BAG-STRUC-DIFF COA-BAG-STRUC-DIFF)
(MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2 MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2
**)
(PROJ2 PROJ2)
((CLASS) (CLASS))
((VECTOR BAG) (VECTOR BAG))
(COMPOSE-IDENTITY&IDENTITY COMPOSE-IDENTITY&IDENTITY)
(MAP-REPLACE-BAG-OF-LISTS&IDENTITY
MAP-REPLACE-BAG-OF-LISTS&IDENTITY)
(MAP-REPLACE2-SET-OF-LISTS&SET-STRUC-PROJ2
MAP-REPLACE2-SET-OF-LISTS&SET-STRUC-PROJ2)
(CANONIZE CANONIZE)
(MAP-REPLACE2 MAP-REPLACE2)
(MAP-REPLACE2-BAG-OF-STRUCS&EMPTY-STRUC-COMPOSE-PROJ2&IDENTITY
MAP-REPLACE2-BAG-OF-STRUCS&EMPTY-STRUC-COMPOSE-PROJ2&IDENTITY)
(INVERTED-OP-EXS INVERTED-OP-EXS)
(COMPOSE COMPOSE)
(MAP-REPLACE2-OSET-STRUC&BAG-OF-STRUCS-PROJ2
MAP-REPLACE2-OSET-STRUC&BAG-OF-STRUCS-PROJ2)
(MAP-REPLACE2-SET-STRUC&BAG-OF-STRUCS-PROJ2
MAP-REPLACE2-SET-STRUC&BAG-OF-STRUCS-PROJ2)
After eliminating duplicate and already-known entries, AM finds that.
only 26 new, distinct examples of IDENTITY had to be added.
Do-thresh raised from 230 to 239.
This Cand used 40.96 cpu seconds.
The top Cand is: Fill in some examples of
Map-join-bag-of-strucs&identity
The 3 reasons are:
(We have no examples for MAP-JOIN-BAG-OF-STRUCS&IDENTITY yet)
(The range of MAP-JOIN-BAG-OF-STRUCS&IDENTITY might turn out
to be the same as its domain , but there are no examples around to
test this hypothesis on)
(Anyb-exs specifically asked for some examples of
MAP-JOIN-BAG-OF-STRUCS&IDENTITY , while trying to Fill in some
Obj-equal examples)
Beginning 15th cycle.
(BAG-OF-STRUCS-E-DEFN compiling)
(BAG-OF-STRUCS-E-DEFN (BA1 BA2 BA3) NIL)
(MAP-JOIN-BAG-OF-STRUCS&IDENTITY-E-ALGS compiling)
(MAP-JOIN-BAG-OF-STRUCS&IDENTITY-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
Won't try to create a restricted interesting version of
MAP-JOIN-BAG-OF-STRUCS&IDENTITY.
Filled in examples of MAP-JOIN-BAG-OF-STRUCS&IDENTITY.
0 examples existed originally on MAP-JOIN-BAG-OF-STRUCS&IDENTITY
.
1 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(NIL (NIL))
After eliminating duplicate and already-known entries, AM finds that.
all 1 new, distinct examples of MAP-JOIN-BAG-OF-STRUCS&IDENTITY had to
be added.
Do-thresh raised from 239 to 295.
This Cand used 16.684 cpu seconds.
The top Cand is: Fill in some examples of Bag-of-strucs
The 4 reasons are:
(Active-exs specifically asked for some examples of BAG-OF-STRUCS
, while trying to Fill in some Map-join-bag-of-strucs&identity examples
**)
(Anyb-exs specifically asked for some examples of BAG-OF-STRUCS
, while trying to Fill in some Map-join-bag-of-strucs&identity examples
**)
(We have no examples for BAG-OF-STRUCS yet)
(Anyb-exs specifically asked for some examples of BAG-OF-STRUCS
, while trying to Fill in some Obj-equal examples)
Beginning 16th cycle.
(STRUCTURE-E-DEFN compiling)
(STRUCTURE-E-DEFN (BA1 BA2 BA3) NIL)
Won't try to create a restricted interesting version of BAG-OF-STRUCS.
Filled in examples of BAG-OF-STRUCS.
0 examples existed originally on BAG-OF-STRUCS.
6 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(BAG)
After eliminating duplicate and already-known entries, AM finds that.
only 1 new, distinct examples of BAG-OF-STRUCS had to be added.
Do-thresh raised from 295 to 287.
This Cand used 14.77 cpu seconds.
The top Cand is: Fill in some examples of
Map-join-set-of-lists&identity
The 3 reasons are:
(We have no examples for MAP-JOIN-SET-OF-LISTS&IDENTITY yet)
(The range of MAP-JOIN-SET-OF-LISTS&IDENTITY might turn out
to be the same as its domain , but there are no examples around to
test this hypothesis on)
(Anyb-exs specifically asked for some examples of
MAP-JOIN-SET-OF-LISTS&IDENTITY , while trying to Fill in some Obj-equal
examples)
Beginning 17th cycle.
(SET-OF-LISTS-E-DEFN compiling)
(SET-OF-LISTS-E-DEFN (BA1 BA2 BA3) NIL)
(MAP-JOIN-SET-OF-LISTS&IDENTITY-E-ALGS compiling)
(MAP-JOIN-SET-OF-LISTS&IDENTITY-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
GC: 8
15681, 15681 FREE WORDS
Won't try to create a restricted interesting version of
MAP-JOIN-SET-OF-LISTS&IDENTITY.
Filled in examples of MAP-JOIN-SET-OF-LISTS&IDENTITY.
0 examples existed originally on MAP-JOIN-SET-OF-LISTS&IDENTITY.
1 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(NIL (NIL))
After eliminating duplicate and already-known entries, AM finds that.
all 1 new, distinct examples of MAP-JOIN-SET-OF-LISTS&IDENTITY had to
be added.
Do-thresh raised from 287 to 331.
This Cand used 16.163 cpu seconds.
The top Cand is: Fill in some examples of
Map-join-bag-of-strucs&coa-proj2
The 3 reasons are:
(We have no examples for MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2 yet)
(The range of MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2 might turn out
to be the same as its domain , but there are no examples around to
test this hypothesis on)
(Anyb-exs specifically asked for some examples of
MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2 , while trying to Fill in some
Obj-equal examples)
Beginning 18th cycle.
(MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2-E-ALGS compiling)
(MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
Record of attempts to find examples:
An ex ( sought) is: (BAG)++++++++++++++++++++++++++
Found 26 examples ( and 0 non-exs), in 1.134 secs.
A nice ratio of exs/non-exs was encountered for
MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2
Won't try to create a restricted interesting version of
MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2.
Filled in examples of MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2.
0 examples existed originally on MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2
.
27 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
((BAG) (BAG))
After eliminating duplicate and already-known entries, AM finds that.
only 1 new, distinct examples of MAP-JOIN-BAG-OF-STRUCS&COA-PROJ2 had
to be added.
Do-thresh raised from 331 to 365.
This Cand used 15.03 cpu seconds.
No Cand on CANDS is good enuf.
Do-thresh reduced from 365 to 243
Must find new candidates and merge them into CANDS.
GC: 8
15171, 15171 FREE WORDS
The top Cand is: Fill in some examples of Map-join-set-of-lists&rear
The 3 reasons are:
(Anyb-exs specifically asked for some examples of
MAP-JOIN-SET-OF-LISTS&REAR , while trying to Fill in some
Map-join-bag-of-strucs&coa-proj2 examples)
(The range of MAP-JOIN-SET-OF-LISTS&REAR might turn out to be
the same as its domain , but there are no examples around to test
this hypothesis on)
(Anyb-exs specifically asked for some examples of
MAP-JOIN-SET-OF-LISTS&REAR , while trying to Fill in some Obj-equal
examples)
Beginning 19th cycle.
(MAP-JOIN-SET-OF-LISTS&REAR-E-ALGS compiling)
(MAP-JOIN-SET-OF-LISTS&REAR-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
Won't try to create a restricted interesting version of
MAP-JOIN-SET-OF-LISTS&REAR.
Filled in examples of MAP-JOIN-SET-OF-LISTS&REAR.
0 examples existed originally on MAP-JOIN-SET-OF-LISTS&REAR.
1 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(NIL (NIL))
After eliminating duplicate and already-known entries, AM finds that.
all 1 new, distinct examples of MAP-JOIN-SET-OF-LISTS&REAR had to be
added.
Do-thresh raised from 243 to 306.
This Cand used 12.402 cpu seconds.
The top Cand is: Fill in some examples of
Map-join-struc-of-lists&coa-proj2
The 3 reasons are:
(Anyb-exs specifically asked for some examples of
MAP-JOIN-STRUC-OF-LISTS&COA-PROJ2 , while trying to Fill in some
Map-join-bag-of-strucs&coa-proj2 examples)
(The range of MAP-JOIN-STRUC-OF-LISTS&COA-PROJ2 might turn out
to be the same as its domain , but there are no examples around to
test this hypothesis on)
(Anyb-exs specifically asked for some examples of
MAP-JOIN-STRUC-OF-LISTS&COA-PROJ2 , while trying to Fill in some
Obj-equal examples)
Beginning 20th cycle.
(STRUC-OF-LISTS-E-DEFN compiling)
(STRUC-OF-LISTS-E-DEFN (BA1 BA2 BA3) NIL)
(MAP-JOIN-STRUC-OF-LISTS&COA-PROJ2-E-ALGS compiling)
(MAP-JOIN-STRUC-OF-LISTS&COA-PROJ2-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
Won't try to create a restricted interesting version of
MAP-JOIN-STRUC-OF-LISTS&COA-PROJ2.
Filled in examples of MAP-JOIN-STRUC-OF-LISTS&COA-PROJ2.
0 examples existed originally on
MAP-JOIN-STRUC-OF-LISTS&COA-PROJ2.
1 potential new entries were just proposed.
Eliminating duplicates, the newly constructed examples are:
(NIL (NIL))
After eliminating duplicate and already-known entries, AM finds that.
all 1 new, distinct examples of MAP-JOIN-STRUC-OF-LISTS&COA-PROJ2 had
to be added.
Do-thresh raised from 306 to 356.
This Cand used 15.528 cpu seconds.
The top Cand is: Fill in some examples of Compose-first&rear
The 3 reasons are:
(Anyb-exs specifically asked for some examples of
COMPOSE-FIRST&REAR , while trying to Fill in some
Map-join-bag-of-strucs&coa-proj2 examples)
(The range of COMPOSE-FIRST&REAR might turn out to be the same
as its domain , but there are no examples around to test this
hypothesis on)
(Anyb-exs specifically asked for some examples of
COMPOSE-FIRST&REAR , while trying to Fill in some Obj-equal examples)
Beginning 21st cycle.
Record of attempts to find examples:
(COMPOSE-FIRST&REAR-E-ALGS compiling)
(COMPOSE-FIRST&REAR-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
(REAR-E-ALGS compiling)
(REAR-E-ALGS (BA1 BA2 BA3 BA4 BA5) NIL)
GC: 8
Walking at 23676 Load av. = 3.69, used 0:16:45.0 in 1:28:00